Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
61	Truthful Approximation Schemes for Single-Parameter Agents∗ Peerapong Dhangwatnotai† Shahar Dobzinski‡ Shaddin Dughmi§ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-05-11 07:37:06 Computational complexity theory Mathematics Theory of computation Analysis of algorithms Scheduling Polynomial-time approximation scheme Makespan Time complexity Partition Randomized algorithm Algorithm Integral
62	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
63	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
64	Genetically Modified Food Labeling Survey May 17-May 21, 2016 (N=1,008) Appendix How would you rate your own understanding of genetically modified organisms (GMOs)? (READ LIST)* EXCELLENT/VERY GOOD/GOOD Add to Reading List Source URL: cdn.annenbergpublicpolicycenter.org Language: English - Date: 2016-07-18 12:35:33** Arithmetic Mathematics Computer arithmetic Rounding Theory of computation Significant figures Academia
65	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
66	A Brief Tour of Theoretical Tile Self-Assembly Andrew Winslow Universit´e Libre de Bruxelles, Brussels, Belgium Abstract The author gives a brief historical tour of theoretical tile selfassembly via c Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2016-06-08 17:28:44 Models of computation Theoretical computer science Theory of computation Academia DNA Molecular biology Formal methods Natural computing DNA computing Turing machine
67	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
68	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
69	RANDOMIZATION AND COMPUTATION IN STRATEGIC SETTINGS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2011-08-30 21:00:54 Game theory Mechanism design Decision theory Gaming Auction theory Mathematics Auctions Operations research Incentive compatibility Combinatorial auction VickreyClarkeGroves auction Algorithm
70	577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Mathematics Abstract algebra Algebra Field theory Modular forms Algebraic geometry Valuation P-adic modular form Constructible universe P-adic number P-adic L-function Elliptic curve

UPDATE